mini-os: add missing casts to MM printk
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:27 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 12:38:35 +0000 (13:38 +0100)
commit49a37237c78816937595082775e505bb8b18ea39
tree80c7d717fef4ca8d8afd42c0ac579ed46b0b51db
parent6cae37fc8ba1e1caa277fd25ad18153fadb40e81
mini-os: add missing casts to MM printk

The code previously assumed that a long was 64-bits.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/mm.c